Nuprl Definition : zip
11,40
postcript
pdf
zip(
as
;
bs
)
== rec-case(
as
) of [] => [] |
a
::
as'
=>
.rec-case(
bs
) of [] => [] |
b
::
bs'
=>
.cons(<
a
,
b
>;
== rec-case(
as
) of [] => [] |
a
::
as'
=>
.rec-case(
bs
) of [] => [] |
b
::
bs'
=>
.cons(
zip(
as'
;
bs'
))
(recursive)
latex
Definitions
Y
,
x
.
A
(
x
)
,
rec-case(
a
) of [] =>
s
|
x
::
y
=>
z
.
t
(
x
;
y
;
z
)
,
[]
,
cons(
car
;
cdr
)
,
<
a
,
b
>
,
f
(
a
)
FDL editor aliases
zip
origin
x.A(x)x.A(x)